What is a for loop in PHP